منابع مشابه
A Sheffer-Criterion for Partial 4-Valued Logic
We determine the minimal covering of maximal partial clones in 4-valued logic. That means a necessary and sufficient condition for partial Sheffer functions in 4-valued logic in terms of the maximal partial clones is established. Furthermore several statements about members of the minimal covering of the maximal partial clones for any finite-valued logic are established.
متن کاملSheffer and Non-Sheffer Polynomial Families
1 Gruppo Fisica Teorica e Matematica Applicata, Unità Tecnico Scientifica Tecnologie Fisiche Avanzate, ENEA-Centro Ricerche Frascati, C.P. 65, Via Enrico Fermi 45, 00044 Frascati, Rome, Italy 2 Dipartimento di Metodi e Modelli Matematici per le Scienze Applicate, Sapienza Università di Roma, Via A. Scarpa 14, 00161 Roma, Italy 3 International Telematic University Uninettuno, Corso Vittorio Eman...
متن کاملEffective operations on partial functions
Once we have studied effectively computable operations on numbers it is natural to ask whether there is a comparable notion for operations on functions. The essential difference between functions and numbers as basic objects is that functions are usually infinite rather than finite. With this in mind, in §1 of this chapter we discuss the features we might reasonably expect of an effective opera...
متن کاملSheffer Stroke Fuzzy Implications
A new family of fuzzy implications, motivated by classic Sheffer stroke operator, is introduced. Sheffer stroke, which is a negation of a conjunction and is called NAND as well, is one of the two operators that can be used by itself, without any other logical operators, to constitute a logical formal system. Classical implication can be presented just by Sheffer stroke operator in two ways whic...
متن کاملAn intuitionistic Sheffer function
The purpose of this note is to present a ternary propositional function which is a Sheffer function in the Heyting propositional calculus. We shall also consider some related Sheffer functions in positive logic. Although it is easy to guess what should be the general notion of a Sheffer function in a propositional calculus, we shall first fix our terminology. Following [2] and [1], we shall say...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Combinatorics
سال: 1991
ISSN: 0195-6698
DOI: 10.1016/s0195-6698(13)80003-0